reducible element

可约元素